$\forall$$T$:Type. $T$ $\subseteq\rho$ Top $\Leftrightarrow$ True